:- modeh(member(-any,+list)).
:- modeb(+list=[-any|-list]). %:- modet(l2ht(+list/[H|T], -any/H, -list/T)).
:- modeb(member(-any,+list)).

:- set(maximum_singletons_in_hypothesis, 1).
:- set(example_inflation, 10).

member(X, [X|_]). % we need the base case

example(member(1,[1,2,5]), 1).
example(member(5,[1,2,5]), 1).


%:-start, findall(H, hyp(member(1,[1,2,5]), H, A, P), L),write(L),nl,statistics.
